Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
101	White Paper A Methodology for a DO-254 Compliant Verification Flow Using Verification Planner June 2014 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:44:10 Validity Technology Software testing Electronics Embedded systems Functional verification Verification and validation Test plan Verification Electronic engineering Systems engineering Pharmaceutical industry
102	TwoTowers 5.1 User Manual Marco Bernardo January[removed]c 2006 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2006-01-17 11:35:25 Applied mathematics Model checking Logic in computer science Bisimulation Functional verification Mathematics Computer science Model checkers NuSMV Theoretical computer science
103	Medical Verification of Eligibility handyDART Services The purpose of this form is to obtain information about the applicant’s physical and/or cognitive functional ability to use regular bus service. The Clerk Registra Add to Reading List Source URL: www.bctransit.com Language: English - Date: 2014-05-21 19:50:50 HandyDART Transit bus Land transport Transport Public transport Bus
104	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming
105	2013 Rockwell Automation Manufacturing Safety Excellence Award Application The Rockwell Automation Manufacturing Safety Excellence Awards are given to companies with exemplary performance in culture, compliance policies Add to Reading List Source URL: ehstoday.com Language: English - Date: 2013-09-12 11:24:32 Ethics Environmental social science Industrial hygiene Occupational safety and health Risk management Functional Safety Automation Verification and validation Safety Risk Security
106	Migration of Complex Original Environments – Verification and Quality Assurance Challenges Functional Longterm Archiving Group Albert-Ludwigs University Freiburg Hermann-Herder Str[removed]Freiburg i. B., Germany Add to Reading List Source URL: digitalpreservationchallenges.files.wordpress.com Language: English - Date: 2013-09-03 11:10:08 Preservation Emulator Digital preservation OS/2 Mac OS Hardware emulation UVC-based preservation High-level emulation Software System software Computing
107	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
108	Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt Add to Reading List Source URL: klabs.org Language: English - Date: 2009-01-16 16:45:26 Hardware description languages E SystemVerilog Functional verification Formal verification Verilog SystemC Integrated circuit design Verification and validation Electronic engineering Electronic design automation Hardware verification languages
109	PRO.LB.0.NT.003.ASC Issue. 06 rev. 03 Page: 6.1 Add to Reading List Source URL: smsc.cnes.fr Language: English - Date: 2005-09-02 09:22:28 Validity Technology Science Evaluation Verification Test plan Validation Functional verification Requirement Software testing Systems engineering Pharmaceutical industry
110	Datasheet Memory Solution Overview Memory products are among the most Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:43:58 Integrated circuits Hillsboro Oregon Synopsys Electronic design automation Physical design Integrated circuit design Parasitic extraction Functional verification Signoff Electronic engineering Electronics Electronic design

UPDATE